Utility functions for worlds and the “dimensions”.
